w{-}atom{-}constraint\{i:l\}($w$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$True